|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.text.DefaultPositionUpdater
org.eclipse.jface.text.FragmentUpdater
The position updater used to adapt the fragments of a projection document to
changes of the master document. The updater supports two modes: a shifting mode
and a non shifting mode. In the shifting mode the updater behaves identical to the
DefaultPositionUpdater
. In non shifting mode, if an insertion happens at
a fragment's offset, the fragment is extended rather than shifted. Also, the
last fragment is extended if an inserte operation happens at the end of the fragment.
This class is for internal use only.
Field Summary |
Fields inherited from class org.eclipse.jface.text.DefaultPositionUpdater |
fDocument, fLength, fOffset, fOriginalPosition, fPosition, fReplaceLength |
Constructor Summary | |
protected |
FragmentUpdater(String fragmentCategory)
Creates the fragment updater for the given category. |
Method Summary | |
protected void |
adaptToInsert()
If an insertion happens at a fragment's offset, the fragment is extended rather than shifted. |
void |
enableShiftMode(boolean enable)
Enables/disables the shift mode of this updater. |
void |
update(DocumentEvent event)
Adapts positions to the change specified by the document event. |
Methods inherited from class org.eclipse.jface.text.DefaultPositionUpdater |
adaptToRemove, adaptToReplace, getCategory, notDeleted |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
protected FragmentUpdater(String fragmentCategory)
fragmentCategory
- the position category used for managing the fragments of a projection documentMethod Detail |
public void enableShiftMode(boolean enable)
enable
- true
if shift mode should be enabledprotected void adaptToInsert()
adaptToInsert
in class DefaultPositionUpdater
public void update(DocumentEvent event)
IPositionUpdater
update
in interface IPositionUpdater
update
in class DefaultPositionUpdater
|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |